Removing more values than Max restricted path consistency for the same cost

نویسنده

  • Romuald Debruyne
چکیده

Filtering techniques are essential to e ciently look for a so lution in a constraint network CN They remove some local inconsisten cies and so reduce the search space However a given local consistency has to be not too expensive if we want to use it to e ciently prune the search tree during search Hence for a long time it has been considered that the best choice is the limited local consistency achieved by forward checking However more recent works show that main taining arc consistency which is a more pruningful local consistency during search outperforms forward checking on hard and large constraint networks It is very likely that maintaining an even more pruningful local consistency may pay o on very hard problems A comparison of the local consistencies more pruningful than arc consistency that can be used on large CNs has been done in The conclusion of this work is that Max restricted path consistency Max RPC is one of the most promising local consistencies It deletes far more values than arc consistency with reasonable cpu time requirements For all the local consistencies more pruningful than Max RPC there exists CNs on which achieving them is really prohibitive In this paper we show that Max RPC is not the limit we have to do not exceed to guarantee a reasonable cpu time We pro pose a new ltering algorithm called Max RPCEn which prunes more values than an algorithm achieving Max RPC It requires less constraint checks than Max RPC the Max RPC algorithm proposed in and has almost the same cpu time requirements

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From Restricted Path Consistency toMax - Restricted

There is no need to show the importance of the ltering techniques to solve constraint satisfaction problems i.e. to nd values for problem variables subject to constraints that specify which combinations of values are consistent. They can be used during a preprocessing step to remove once and for all some local inconsistencies, or during the search to eeciently prune the search tree. Recently, i...

متن کامل

From Restricted Path Consistency to Max-Restricted Path Consistency

There is no need to show the importance of the ltering tech niques to solve constraint satisfaction problems i e to nd values for problem variables subject to constraints that specify which combinations of values are consistent They can be used during a preprocessing step to remove once and for all some local inconsistencies or during the search to e ciently prune the search tree Recently in a ...

متن کامل

A Strong Local Consistency for Constraint Satisfaction

Filtering techniques are essential to efficiently look for a solution in a constraint network (CN). However, for a long time it has been considered that to efficiently reduce the search space, the best choice is the limited local consistency achieved by forward checking [15, 17]. However, more recent works [18, 4, 16] show that maintaining arc consistency (which is a more pruningful local consi...

متن کامل

Improved Algorithms for Max-restricted Path Consistency

A binary constraints network consists of a set of n variables, defined on domains of size at most d, and a set of e binary constraints. The binary constraint satisfaction problem consists in finding a solution for a binary constraints network, that is an instantiation of all the variables which satisfies all the constraints. A value a in the domain of variable x is inconsistent if there is no s...

متن کامل

Improving the Performance of maxRPC

Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that can achieve considerably stronger pruning than arc consistency. However, existing maxRPC algorithms suffer from overheads and redundancies as they can repeatedly perform many constraint checks without triggering any value deletions. In this paper we propose techniques that can boost the performance of ma...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001